#include<iostream>
using namespace std;

int main()
{
	int a, b, c;
	cin >> a >> b >> c;
	int num = a * 0.2 + b * 0.3 + c * 0.5;
	cout << num << endl;
	
	return 0;
}
